]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6df0002) | patch
extensionSystem: Check metadata types
authorFlorian Müllner <fmuellner@gnome.org>
Wed, 20 Apr 2022 17:29:19 +0000 (19:29 +0200)
committerMarge Bot <marge-bot@gnome.org>
Thu, 21 Apr 2022 08:16:30 +0000 (08:16 +0000)
commit56d0b6d8317cbb824e997ce6a926028788b11dc8
tree09f9853006f4b27adadad5dde1a6e9174dc76c1etree | snapshot
parent6df0002b29a0a246d65efab194c69f06782a213acommit | diff
extensionSystem: Check metadata types

We currently check that an extension provides required metadata
properties, but then assume that all properties have the expected
type.

It turns out that this is putting too much trust in extensions,
so add an appropriate check.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5347

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2272>
js/ui/extensionSystem.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.